An Offline Partial Evaluator for Evolving Algebras
نویسنده
چکیده
We describe the architecture of an evolving algebra partial evaluator, a program which specializes an evolving algebra with respect to a portion of its input. We discuss the particular analysis, specialization, and optimization techniques used and show an example of its use.
منابع مشابه
Evolving Algebras and Partial Evaluation
We describe an automated partial evaluator for evolving algebras implemented at the University of Michigan.
متن کاملOnline Type-Directed Partial Evaluation for Dynamically-Typed Languages∗
This article presents an alternative method of type-directed partial evaluation, which is simpler and more efficient than previous methods. Unlike previous methods, it is straightforwardly applicable to functional languages with various powerful type systems. As an extreme instance, this article mainly deals with a dynamically-typed functional language like Scheme. The key idea is to extend pri...
متن کاملMechanically Verifying the Correctness of an Offline Partial Evaluator
We show that using deductive systems to specify an offline partial evaluator allows one to specify, prototype, and mechanically verify correctness via meta-programming — all within a single framework. For a λ-mix-style partial evaluator, we specify binding-time constraints using a natural-deduction logic, and the associated program specializer using natural (aka “deductive”) semantics. These de...
متن کاملAn Experiment with the Fourth Futamura Projection
We have experimentally validated the theoretical insight, that a compiler generator is a generating extension of a program specializer, by showing that an existing offline partial evaluator can perform the fourth Futamura projection. Specifically, an online and an offline partial evalua-tor for an imperative flowchart language were transformed into two new compiler generators by Romanenko's cla...
متن کاملPreliminary Report on a Self-Applicable Online Partial Evaluator for Flowchart
This is a preliminary report on a self-applicable online partial evaluator for a flowchart language with recursive calls. Self-application of the partial evaluator yields generating extensions that are as efficient as those reported in the literature for offline partial evaluation. This result is remarkable because partial evaluation folklore has indicated that online partial evaluation techniq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره cs.SE/9810025 شماره
صفحات -
تاریخ انتشار 1995